-- MAIN == ERROR at global: execution aborted in function div
DEF MAIN:nat == div(1,0)
